Complete Boolean algebra - PDFSEARCH.IO - Document Search Engine

Complete Boolean algebra
Results: 108

#	Item
101	PDF Document Add to Reading List Source URL: jsat.ewi.tudelft.nl Language: English - Date: 2008-05-07 17:14:15 NP-complete problems Boolean algebra Hamiltonian path Gray code Boolean satisfiability problem Conjunctive normal form Induced path Propositional formula Cube Mathematics Theoretical computer science Graph theory
102	PDF Document Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2009-10-12 16:16:00 NP-complete problems Logic in computer science Boolean algebra Analysis of algorithms Exponential time hypothesis 2-satisfiability Conjunctive normal form Boolean satisfiability problem Clique problem Theoretical computer science Computational complexity theory Applied mathematics
103	PDF Document Add to Reading List Source URL: pst.istc.cnr.it Language: English - Date: 2007-08-26 10:17:21 Electronic design automation Formal methods Logic in computer science NP-complete problems Boolean algebra Boolean satisfiability problem Satisfiability Modulo Theories Solver True quantified Boolean formula Theoretical computer science Applied mathematics Mathematics
104	PDF Document Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-10-27 21:43:22 Operator theory Functional analysis Boolean algebra Von Neumann algebra Banach algebra Operator algebra Complete Boolean algebra State Spectrum of a ring Abstract algebra Mathematical analysis Mathematics
105	PDF Document Add to Reading List Source URL: kwuida.googlepages.com Language: English Algebra Order theory Algebraic structures Distributive lattice Formal concept analysis Complete lattice Galois connection Boolean algebra Lattice Abstract algebra Mathematics Lattice theory
106	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2002-04-24 17:27:28 NP-complete problems Boolean algebra Boolean satisfiability problem Electronic design automation Logic in computer science 2-satisfiability Conjunctive normal form PP MAX-3SAT Theoretical computer science Computational complexity theory Applied mathematics
107	PDF Document Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-17 12:13:51 Category theory Algebraic structure Universal property Functor Forcing Complete Boolean algebra Mathematics Algebra Abstract algebra
108	PDF Document Add to Reading List Source URL: caicedoteaching.files.wordpress.com Language: English - Date: 2009-01-21 20:02:27 Boolean algebra Order theory Lattice theory Algebraic structures Forcing Knaster–Tarski theorem Heyting algebra Derivative algebra Complete lattice Mathematics Abstract algebra Mathematical logic